#include "__sceAudio.h"
#include "__ThreadManForUser.h"

u32 vCount = 0;

void __KernelVsync()
{
#ifdef NO_THREAD
    __AudioUpdate();
#endif
    vCount++;
    __KernelReSchedule();
}

u32 __KernelGetVcount()
{
    return vCount;
}

